<div id="top-menu" class="top-menu">
    <?php echo $menu;?>
</div>